Ideas from 'Building Blocks of Mathematical Logic' by Moses Schönfinkel [1924], by Theme Structure
[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].
green numbers give full details |
back to texts
|
expand this idea
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
|
17699
|
Variables are auxiliary notions, and not part of the 'eternal' essence of logic
|